منابع مشابه
Saarbrücken Germany
Minimal resolution restricts the applicability of resolution and factorization to minimal literals. Minimality is an abstract criterion. It is shown that if the minimality criterion satisfies certain properties, minimal resolution is sound and complete. Hyper-resolution, ordered resolution and lock resolution are known instances of minimal resolution. We also introduce new instances called list...
متن کامل6600 Saarbrücken Germany
In this paper I establish a link between kl-one-based knowledge representation concerned with terminological representation and the work of P. Suppes (1976, 1979, 1981) and M. Böttner (1985, 1989) in computational linguistics. I show how this link can be utilised for the problem of finding adequate terminological representations for given information formulated in ordinary English.
متن کاملStadtwald D 66123 Saarbrücken Germany
We introduce a class of restrictions for the ordered paramodulation and superposition calculi (inspired by the basic strategy for narrowing), in which paramodulation inferences are forbidden at terms introduced by substitutions from previous inference steps. In addition we introduce restrictions based on term selection rules and redex orderings, which are general criteria for delimiting the ter...
متن کاملE 1 . 4 66123 Saarbrücken Germany
Graphics hardware has in recent years become increasingly programmable, and its programming APIs use the stream processor model to expose massive parallelization to the programmer. Unfortunately, the inherent restrictions of the stream processor model, used by the GPU in order to maintain high performance, often pose a problem in porting CPU algorithms for both video and volume processing to gr...
متن کاملColloquium on Combinatorics November 12 - 13 , 2010 , Saarbrücken , Germany
s of Invited Talks Dominique Foata (Strasbourg) [Friday, November 12, 09:30 10:30, Room HS 02] Descents and Decreases, Rises and Increases There have been several successful attempts to construct a noncommutative version or a q-analog of the celebrated MacMahon Master Theorem. However those q-analogs sitting in noncommutative algebras remain so far noninstrumental in word enumeration. Another a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kinema: A Journal for Film and Audiovisual Media
سال: 1999
ISSN: 2562-5764,1192-6252
DOI: 10.15353/kinema.vi.904